关于不确定的对称组合系统的稳定化控制器与观测器的设计

本文研究了不确定的对称组合系统的稳定化控制器与观测器的设计问题，给出一种设计稳定化控制器与观测器的方法，在这种设计方法中，使给定的带有不确定性的对称组合系统稳定的状态反馈增益矩阵和观测器增益矩阵可由低阶代数Ｒｉｃｃａｔｉ方程的解导出。     

离散事件动态系统的代数模型及其控制器的分析计算

本文在离散事件动态系统的Ｐｅｔｒｉ网图形描述的基础上建立了相应的代数模型，该模型可以用来计算无竞争无回路Ｐｅｔｒｉ网的“最大状态”；该“最大状态”的计算在本文给出的动态反馈控制器中得到了应用。     

汽油辛烷值智能调合系统

采取一种能够在线学习、不断提高、建立一系列模型的策略，提出了一种具有学习功能的汽油辛烷值智能调合系统。该系统可以根据成品汽油辛烷值指标、生产成本和市场价格等因素提供一个较好的油品调合调度方案。实际应用结果表明，利用参数学习的方法计算调合汽油辛烷值是可行的。     

XC型车号自动识别系统在轨道衡的应用

介绍了XC型车号自动识别系统的工作原理及在轨道衡的应用,解决了长期以来轨道衡路用车车号和自重依靠人工抄录易出错及劳动强度大的问题。     

分析离心油泵性能的新方法

提出一种利用已知泵性能曲线深入分析离心油泵性能的新方法。首先列出离心泵内部流动能量平衡关系式和离心泵基本方程并分别对其求导 ，根据实验数据，联立求解方程计算出滑移系数、水力损失系数、容积效率、水力效率和机 械效率等参数随叶片数的变化关系，深入研究了叶片数对性能的影响。结果表明，滑移系数随叶片数增加而增大；叶片数通过改变叶轮滑移系数和水力效率来影响泵的水力性能；降低叶轮圆盘摩擦损失是提高离心油泵性能的关键。     

正交曲线坐标下三维代数应力通量模型

针对弯曲及不规则明渠的水动力及物质输运特性，本文建立了曲线坐标系下的三维代数应力通量数学模型，对平面上弯曲及不规则复杂边界情形，采用Poisson方程进行正交曲线坐标变换，各向异性的湍流代数应力通量模型被引用于本文的模拟计算中，以体现复杂边界条件引起的水动力及物质输运特性的变化。通过180度强弯曲明渠水槽及贵溪电厂不规则边界河段物理模型试验两个实例计算表明，实测值与计算吻合良好，效果令人满意。     

An IR study on ion-specific and solvent-specific swelling of poly(N-vinyl-2-pyrrolidone) gel

Swelling degrees of poly(N-vinyl-2-pyrrolidone) (PVP) gel were measured in aqueous salt solutions and in water/organic solvent mixtures to find marked ion- and solvent-specificities. In order to investigate any correlation of those specificities with hydration or solvation of PVP, IR spectra band of the CO group was monitored by means of ATR method both for PVP gel and the relevant solution systems. Dependence of the peak frequency on the swelling ratio suggested that hydration of PVP carbonyl group in deswollen gel systems is different from that in the corresponding solution systems. In the solution systems, PVP carbonyl band showed a high-wavenumber shift for deswollen systems, which can be well correlated with changes in water proton charge through ionic hydration and with Gutmann's acceptor number of organic solvents. In the deswollen gel systems, the CO band showed a low-wavenumber shift, suggesting a strong hydration or doubly hydrated state. This unexpected behavior was interpreted by assuming an intermolecular hydrogen bond of two carbonyl groups intermediated by water molecules.     

车号定位识别与可信度估计

以车号的定位与识别为例，应用行投影法对车号图片进行倾斜行定位，证明了模拟与场景的二维互相关系数近拟等于一维投影互相关系数，在此基础上提列投影法快速行扫描识别算法及相应的可信度估计方法，这种方法对于室外拍摄的有复杂背景，光照变化，字体微倾，字符排列疏密不均及噪声干扰的车牌图像具有很好的识别效果。     

烷基化原料预加氢工艺应用分析

由于来自催化裂化装置的烷基化原料中所含有的丁二烯在烷基化反应中可生成重质油,使产品干点上升,辛烷值下降,并使酸耗增加.针对这种状况,齐鲁石化公司研究院和胜利炼油厂联合开发了QSH-01烷基化原料预加氢催化剂及其相应的工艺技术,来脱除原料中丁二烯.笔者对该工艺技术及其应用作了阐述,并对该技术的应用前景作出分析.     

TIC: A timed calculus

TIC is a timed algebraic calculus which combines ideas from asynchronous and synchronous calculi. Time is introduced by assigning explicit time restrictions to the events of an asynchronous calculus. The semantics is defined in an operational way. Interleaving of behaviours is defined in such a way that a proper merge of events in time is achieved. Weak timed bisimulation is also defined. Examples are presented to show the applicability of the calculus to the study of timed behaviours.This work was partially supported by CICYT under the TIC program (MEDAS project)